🧮 Theoretical Computer Science - matmat · Scour

Proteo-R1: Reasoning Foundation Models for De Novo Protein Design 🔄Graph Rewriting

The Capability-Tractability Tradeoff 🎯Performance Proofs

buttondown.com·1d

KripkesBeard/programming-for-philosophers: Startings of a textbook which teaches declarative programming for applications in philosophy. 💻Programming languages

github.com·2d·Hacker News

What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style ✨Effect Handlers

link.springer.com·5d·Hacker News

Technical Dimensions of Programming Systems 🛠Language Design

tomasp.net·2d·Hacker News

Family Orienting Python Frozenset Dependent Type Theory λLambda Formalization

philipzucker.com·2d

A principled rethinking of array languages like APL ⁑ Dercuano 📊APL Heritage

dercuano.github.io·2d·Lobsters

Abstract Machines for Logic Programs 🔍Type Inference

chrisistyping.bearblog.dev·2d·Lobsters, Hacker News, r/programming

Light Cone Consistency: Toward a Unified Theory of Consistency in Message-Passing Systems 🎯Performance Proofs

arxiv.org·7h·Hacker News

Syntax and Semantics of Linear Dependent Types λLambda Formalization

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics 📏Linear Logic

Reflections and New Directions for Human-Centered Large Language Models 🧮Z3 Applications

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification ⚖️RISC-V Formal

Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides 📐Interval Arithmetic

Continuations and Completeness in Proof-theoretic Semantics 🏗️Constructive Logic

A Categorical Semantics for Linear Logical Frameworks 📏Linear Logic

Unifying Dynamical Systems and Graph Theory to Mechanistically Understand Computation in Neural Networks 🔲Cellular Automata

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs ⚡Z3 Optimization

Towards Definitional Interpreters for Hoare Logics ⚖️Hoare Logic

Deterministic Mincut in Almost-Linear Time 📼Tape Combinators

No more posts from matmat's subscribed feeds.

Scour all 24963 feeds Learn more about Feeds

Log in to enable infinite scrolling